Search results for T F Melham Blackwell's

Skip your Account's links

0 items

$0.00

Your basket
The RRP is the suggested or Recommended Retail Price of a product, set by the publisher or manufacturer.
View basket
Your basket is empty
Delivery included on your order!
View basket

$5.71off
Higher Order Logic and Hardware...
T. F. Melham

Paperback
Published 07 Feb 2009
Save $5.71
- RRP $51.95
- $46.24
In Stock
Add to basket
Higher Order Logic and Hardware...
T. F. Melham

Hardback
Published 11 Nov 1993
- $126.41
In Stock
Add to basket
$5.48off
Correct Hardware Design and Ver...
CHARME 2001 (Confere...

Paperback
Published 27 Aug 2001
Save $5.48
- RRP $61.51
- $56.03
In Stock
Add to basket
Higher Order Logic Theorem Prov...

T. F Melham, T. F Me...

Hardback

Notify me
Introduction to HOL

M. J. C. Gordon, T. ...

Hardback
Published 18 Mar 1993

Notify me
Theorem Provers in Circuit Design

IFIP TC10/WG 10.2 In...

Paperback
Published 30 Jun 1992

Notify me